- машинное доказательство теорем
- Programming: theorem proving (одно из направлений исследований и разработок в области искусственного интеллекта)
Универсальный русско-английский словарь. Академик.ру. 2011.
машинное доказательство теорем
Смотреть что такое "машинное доказательство теорем" в других словарях:
Автоматическое доказательство — доказательство, реализованное программно. В основе лежит аппарат математической логики. Используются идеи теории искусственного интеллекта. Процесс доказательства основывается на логике высказываний и логике предикатов. В силу неразрешимости даже … Википедия
ЛОГИЧЕСКИЕ МАШИНЫ — механические, электромеханические или электронные устройства для полуавтоматич. или автоматич. выполнения к. л. операций логики. Л. м. применяются для анализа и упрощения формул нек рых разделов логики (в частности, для определения тех значений… … Философская энциклопедия
Искусственный интеллект — Запрос «ИИ» перенаправляется сюда; см. также другие значения. Искусственный интеллект (ИИ, англ. Artificial intelligence, AI) наука и технология создания интеллектуальных машин, особенно интеллектуальных компьютерных программ. ИИ… … Википедия
ИИ — Искусственный интеллект (ИИ) (англ. Artificial intelligence, AI) это наука и разработка интеллектуальных машин и систем, особенно интеллектуальных компьютерных программ, направленных на то, чтобы понять человеческий интеллект. При этом… … Википедия
Искусственный Интеллект — (ИИ) (англ. Artificial intelligence, AI) это наука и разработка интеллектуальных машин и систем, особенно интеллектуальных компьютерных программ, направленных на то, чтобы понять человеческий интеллект. При этом используемые методы не обязаны… … Википедия
Подходы к пониманию проблемы искусственного интеллекта — Искусственный интеллект (ИИ) (англ. Artificial intelligence, AI) это наука и разработка интеллектуальных машин и систем, особенно интеллектуальных компьютерных программ, направленных на то, чтобы понять человеческий интеллект. При этом… … Википедия
КИБЕРНЕТИКА — (от греч. kybernetike [techne] – искусство управления) – наука о самоуправляющихся машинах, в частности о машинах с электронным управлением («электронный мозг»). Кибернетика получила самое широкое распространение в последней трети 20 в. и сейчас… … Философская энциклопедия
Представление знаний — Представление знаний вопрос, возникающий в когнитологии (науке о мышлении), в информатике и в исследованиях искусственного интеллекта. В когнитологии он связан с тем, как люди хранят и обрабатывают информацию. В информатике с подбором … Википедия
искусственный интеллект — ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ (от лат. intellectus познание, понимание, рассудок) направление исследований в современной компьютерной науке, целью которого является имитация и усиление интеллектуальной деятельности человека посредством… … Энциклопедия эпистемологии и философии науки
Линейный код — В области математики и теории информации линейный код это важный тип блокового кода, использующийся в схемах определения и коррекции ошибок. Линейные коды, по сравнению с другими кодами, позволяют реализовывать более эффективные алгоритмы… … Википедия
